Davis, Martin, 1928-2023 |
Il calcolatore universale : da Leibniz a Turing / Martin Davis ; traduzione di Gianni Rigamonti |
Milano : Adelphi, c2003. |
Torricelli, Evangelista, 1608-1647 |
Homage to Evangelista Torricelli's Opera Geometrica, 1644-2024 : text, transcription, commentaries and selected essays as new historical insight / Raffaele Pisano ... [et al.] ; in collaboration with Julie Robarts. |
Cham : Springer, 2024. |
Pensare il mondo / direzione scientifica di Claudio Bartocci |
c2010. |
In: Matematica. 4 |
Problemi e teoremi / direzione scientifica di Claudio Bartocci |
c2008. |
In: Matematica. 2 |
Davis, Martin, 1928-2023 |
The universal computer : the road from Leibniz to Turing / Martin Davis. |
New York : W.W. Norton, 2000. |